81. ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
Author: / N. Jones (ed.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6
.
E976
R
82. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
Author: European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
6
.
E976
1990
83. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2004
84. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2005
85. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
Author: hrsg. von Bodo Schlender und Wolfgang Frielinghaus
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
7
86. Formal language description languages for computer programming
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
I17
87. Formal language description languages for computer programming; proceedings
Author: / Edited by T.B. Steel, Jr
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I17
1964
88. Formal language description languages for computer programming; proceedings
Author: IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I17
1964
89. Formal languages and programming
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Formal languages -- Congresses►Programming (Electronic computers) -- Congresses►Interactive computer systems -- Congresses
Classification :
267
.
3
.
F67
90. Formal semantics of Programming languages
Author: Courant Computer Science Symposium, 2d, New York, 0791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
C68
1970
91. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
64
.
R49
1990
92. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
489
93. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974
Author: Herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
7
94. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
95. Graphic languages. Proceedings
Author: IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
T
385
.
I25
1972
96. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
Classification :
TK
7888
.
3
.
I57
1997
97. International Symposium on Theoretical Programming )Proceedings held on August 7-11, 1972(
Author: International Symposium on Theoretical Programming, 2791, Novosibirsk
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I5798
1972
98. International Symposium on Theoretical Programming (Proceedings held on August 7-11, 1972)
Author: / Edited by Andrei Ershov and Valery A. Nepomniaschy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming -- Congresses,Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I
5793
99. (Lambda)-calculus and computer science theory
Author: / IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche
Library: Library of College of Science University of Tehran (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computers) -- Congresses
Classification :
QA
9
.
5
.
L35
100. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
9
.
5
.
L35
